proof of partial correctness - İspanyolca İngilizce Sözlük